Service Space Portability Validation Modeling the Vehicular Context
نویسنده
چکیده
Devices in our proximity getting sophisticated and they provide more and more services to their user and surroundings. Interconnecting solutions between devices and services being developed constantly to address the interoperability in a multi vendor ecosystem. This paper describes the set of service interconnect approaches and present study to validate of their portability. A prototype implementation of a music player service on an internet tablet controlled by an input service represented by a driving wheel and a mobile phone was created to evaluate the different architectural design portability.
منابع مشابه
Modeling for vehicular pollution in urban region; A review
Air pollution is one of the major threats to environment in the present time. Increase in degree of urbanization is a major cause of this air pollution. Due to urbanization, vehicular activities are continuously increasing at a tremendous rate. Mobile or vehicular pollution is predominantly degrading the air quality worldwide. Thus, air quality management is necessary for dealing with this seve...
متن کاملModeling for vehicular pollution in urban region; A review
Air pollution is one of the major threats to environment in the present time. Increase in degree of urbanization is a major cause of this air pollution. Due to urbanization, vehicular activities are continuously increasing at a tremendous rate. Mobile or vehicular pollution is predominantly degrading the air quality worldwide. Thus, air quality management is necessary for dealing with this seve...
متن کاملSyntactic approach to electric mobility in metropolitian areas: NE 1 district core, segment map
Capturing vehicular travel behavior is one of the most popular models that deal with relevant aspects of urban regions and communities. Since 1960s, it has been matured and evolved to cover all aspects of travel demand applications. Different theories are employed to predict the movement of trip makers’ likewise metric method and the estimation of origin-destination matrixes, intervening opport...
متن کاملSYNTACTIC APPROACH TO ELECTRIC MOBILITY IN METROPOLITAN AREAS: NE 1 district core, segment map
Capturing vehicular travel behavior is one of the most popular models that deal with relevant aspects of urban regions and communities. Since 1960s, it has been matured and evolved to cover all aspects of travel demand applications. Different theories are employed to predict the movement of trip makers’ likewise metric method and the estimation of origin-destination matrixes, intervening opport...
متن کاملVerification of Non - Functional Requirements by Abstract Interpretation
This chapter investigates a formal approach to the verification of non-functional software requirements that are crucial in Service-oriented Systems, like portability, time and space efficiency, and dependability/robustness. The key-idea is the notion of observable, i.e., an abstraction of the concrete semantics when focusing on a behavioral property of interest. By applying an abstract interpr...
متن کامل